SUBDIRS=lesson_7

include ../../../../../include/kframework/ktest-group.mak
